; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = zext i8 5 to i64
  %".5" = and i64 %".4", 63
  %".6" = lshr i64 %"SymVar_0", %".5"
  %".7" = xor i64 810798164723513605, %".6"
  %".8" = sub i64 %"SymVar_0", 275339905
  %".9" = add i64 %".7", %".8"
  %".10" = add i64 %".9", %".6"
  %".11" = add i64 %".10", %"SymVar_0"
  %".12" = sext i64 %".11" to i128
  %".13" = sext i64 %".6" to i128
  %".14" = mul i128 %".12", %".13"
  %".15" = trunc i128 %".14" to i64
  %".16" = and i64 7, %".15"
  %".17" = zext i8 2 to i64
  %".18" = and i64 %".17", 63
  %".19" = shl i64 %".16", %".18"
  %".20" = or i64 %".19", %".6"
  %".21" = sext i64 %".6" to i128
  %".22" = sext i64 1015975030 to i128
  %".23" = mul i128 %".21", %".22"
  %".24" = trunc i128 %".23" to i64
  %".25" = and i64 7, %".24"
  %".26" = or i64 1, %".25"
  %".27" = trunc i64 %".26" to i8
  %".28" = zext i8 %".27" to i64
  %".29" = and i64 %".28", 63
  %".30" = lshr i64 %"SymVar_0", %".29"
  %".31" = zext i8 4 to i64
  %".32" = and i64 %".31", 63
  %".33" = lshr i64 %".9", %".32"
  %".34" = and i64 15, %".33"
  %".35" = or i64 1, %".34"
  %".36" = sub i64 64, %".35"
  %".37" = trunc i64 %".36" to i8
  %".38" = zext i8 %".37" to i64
  %".39" = and i64 %".38", 63
  %".40" = lshr i64 %".30", %".39"
  %".41" = zext i8 4 to i64
  %".42" = and i64 %".41", 63
  %".43" = lshr i64 %".9", %".42"
  %".44" = and i64 15, %".43"
  %".45" = or i64 1, %".44"
  %".46" = trunc i64 %".45" to i32
  %".47" = zext i32 %".46" to i64
  %".48" = trunc i64 %".47" to i8
  %".49" = zext i8 %".48" to i64
  %".50" = and i64 %".49", 63
  %".51" = shl i64 %".30", %".50"
  %".52" = or i64 %".40", %".51"
  %".53" = and i64 15, %".52"
  %".54" = zext i8 3 to i64
  %".55" = and i64 %".54", 63
  %".56" = shl i64 %".53", %".55"
  %".57" = or i64 %".56", %".9"
  %".58" = and i64 15, %".57"
  %".59" = or i64 1, %".58"
  %".60" = sub i64 64, %".59"
  %".61" = trunc i64 %".60" to i8
  %".62" = zext i8 %".61" to i64
  %".63" = and i64 %".62", 63
  %".64" = lshr i64 %".20", %".63"
  %".65" = and i64 15, %".57"
  %".66" = or i64 1, %".65"
  %".67" = trunc i64 %".66" to i32
  %".68" = zext i32 %".67" to i64
  %".69" = trunc i64 %".68" to i8
  %".70" = zext i8 %".69" to i64
  %".71" = and i64 %".70", 63
  %".72" = shl i64 %".20", %".71"
  %".73" = or i64 %".64", %".72"
  %".74" = zext i8 3 to i64
  %".75" = and i64 %".74", 63
  %".76" = lshr i64 %".30", %".75"
  %".77" = and i64 15, %".76"
  %".78" = or i64 1, %".77"
  %".79" = sub i64 64, %".78"
  %".80" = trunc i64 %".79" to i8
  %".81" = zext i8 %".80" to i64
  %".82" = and i64 %".81", 63
  %".83" = lshr i64 %".11", %".82"
  %".84" = zext i8 3 to i64
  %".85" = and i64 %".84", 63
  %".86" = lshr i64 %".30", %".85"
  %".87" = and i64 15, %".86"
  %".88" = or i64 1, %".87"
  %".89" = trunc i64 %".88" to i32
  %".90" = zext i32 %".89" to i64
  %".91" = trunc i64 %".90" to i8
  %".92" = zext i8 %".91" to i64
  %".93" = and i64 %".92", 63
  %".94" = shl i64 %".11", %".93"
  %".95" = or i64 %".83", %".94"
  %".96" = sub i64 %".73", %".95"
  %".97" = xor i64 %".95", %".96"
  %".98" = xor i64 %".73", %".97"
  %".99" = xor i64 %".73", %".96"
  %".100" = xor i64 %".73", %".95"
  %".101" = and i64 %".99", %".100"
  %".102" = xor i64 %".98", %".101"
  %".103" = lshr i64 %".102", 63
  %".104" = trunc i64 %".103" to i1
  %".105" = icmp eq i64 %".96", 0
  br i1 %".105", label %".3.if", label %".3.else"
.3.if:
  br label %".3.endif"
.3.else:
  br label %".3.endif"
.3.endif:
  %".109" = phi i1 [1, %".3.if"], [0, %".3.else"]
  %".110" = or i1 %".104", %".109"
  %".111" = icmp eq i1 %".110", 1
  br i1 %".111", label %".3.endif.if", label %".3.endif.else"
.3.endif.if:
  br label %".3.endif.endif"
.3.endif.else:
  br label %".3.endif.endif"
.3.endif.endif:
  %".115" = phi i8 [1, %".3.endif.if"], [0, %".3.endif.else"]
  %".116" = zext i8 %".115" to i64
  %".117" = lshr i64 %".95", 8
  %".118" = trunc i64 %".117" to i56
  %".119" = zext i56 %".118" to i64
  %".120" = shl i64 %".119", 8
  %".121" = or i64 %".116", %".120"
  %".122" = trunc i64 %".121" to i8
  %".123" = zext i8 %".122" to i32
  %".124" = zext i32 %".123" to i64
  %".125" = trunc i64 %".124" to i32
  %".126" = zext i32 %".125" to i64
  %".127" = trunc i64 %".126" to i32
  %".128" = trunc i64 %".126" to i32
  %".129" = and i32 %".127", %".128"
  %".130" = icmp eq i32 %".129", 0
  br i1 %".130", label %".3.endif.endif.if", label %".3.endif.endif.else"
.3.endif.endif.if:
  br label %".3.endif.endif.endif"
.3.endif.endif.else:
  br label %".3.endif.endif.endif"
.3.endif.endif.endif:
  %".134" = phi i1 [1, %".3.endif.endif.if"], [0, %".3.endif.endif.else"]
  %".135" = icmp eq i1 %".134", 1
  br i1 %".135", label %".3.endif.endif.endif.if", label %".3.endif.endif.endif.else"
.3.endif.endif.endif.if:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.else:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.endif:
  %".139" = phi i1 [1, %".3.endif.endif.endif.if"], [0, %".3.endif.endif.endif.else"]
  br i1 %".139", label %".3.endif.endif.endif.endif.if", label %".3.endif.endif.endif.endif.else"
.3.endif.endif.endif.endif.if:
  %".141" = zext i8 5 to i64
  %".142" = and i64 %".141", 63
  %".143" = lshr i64 %"SymVar_0", %".142"
  %".144" = sext i64 %".143" to i128
  %".145" = sext i64 1015975030 to i128
  %".146" = mul i128 %".144", %".145"
  %".147" = trunc i128 %".146" to i64
  %".148" = and i64 7, %".147"
  %".149" = or i64 1, %".148"
  %".150" = trunc i64 %".149" to i8
  %".151" = zext i8 %".150" to i64
  %".152" = and i64 %".151", 63
  %".153" = lshr i64 %"SymVar_0", %".152"
  %".154" = xor i64 810798164723513605, %".143"
  %".155" = sub i64 %"SymVar_0", 275339905
  %".156" = add i64 %".154", %".155"
  %".157" = zext i8 4 to i64
  %".158" = and i64 %".157", 63
  %".159" = lshr i64 %".156", %".158"
  %".160" = and i64 15, %".159"
  %".161" = or i64 1, %".160"
  %".162" = sub i64 64, %".161"
  %".163" = trunc i64 %".162" to i8
  %".164" = zext i8 %".163" to i64
  %".165" = and i64 %".164", 63
  %".166" = lshr i64 %".153", %".165"
  %".167" = zext i8 4 to i64
  %".168" = and i64 %".167", 63
  %".169" = lshr i64 %".156", %".168"
  %".170" = and i64 15, %".169"
  %".171" = or i64 1, %".170"
  %".172" = trunc i64 %".171" to i32
  %".173" = zext i32 %".172" to i64
  %".174" = trunc i64 %".173" to i8
  %".175" = zext i8 %".174" to i64
  %".176" = and i64 %".175", 63
  %".177" = shl i64 %".153", %".176"
  %".178" = or i64 %".166", %".177"
  %".179" = and i64 15, %".178"
  %".180" = zext i8 3 to i64
  %".181" = and i64 %".180", 63
  %".182" = shl i64 %".179", %".181"
  %".183" = or i64 %".182", %".156"
  %".184" = and i64 15, %".183"
  %".185" = zext i8 3 to i64
  %".186" = and i64 %".185", 63
  %".187" = shl i64 %".184", %".186"
  %".188" = or i64 %".187", %".183"
  %".189" = trunc i64 %".188" to i8
  %".190" = zext i8 %".189" to i32
  %".191" = lshr i64 %".188", 8
  %".192" = trunc i64 %".191" to i8
  %".193" = zext i8 %".192" to i32
  %".194" = shl i32 %".193", 8
  %".195" = or i32 %".190", %".194"
  %".196" = lshr i64 %".188", 16
  %".197" = trunc i64 %".196" to i8
  %".198" = zext i8 %".197" to i32
  %".199" = shl i32 %".198", 16
  %".200" = or i32 %".195", %".199"
  %".201" = lshr i64 %".188", 24
  %".202" = trunc i64 %".201" to i8
  %".203" = zext i8 %".202" to i32
  %".204" = shl i32 %".203", 24
  %".205" = or i32 %".200", %".204"
  %".206" = zext i32 %".205" to i64
  %".207" = trunc i64 %".206" to i32
  %".208" = zext i32 %".207" to i64
  %".209" = trunc i64 %".208" to i32
  %".210" = zext i32 %".209" to i64
  %".211" = trunc i64 %".210" to i32
  %".212" = zext i32 %".211" to i64
  %".213" = trunc i64 %".212" to i32
  %".214" = zext i32 %".213" to i64
  %".215" = trunc i64 %".214" to i32
  %".216" = zext i32 %".215" to i64
  %".217" = trunc i64 %".216" to i32
  %".218" = zext i32 %".217" to i64
  %".219" = trunc i64 %".218" to i32
  %".220" = zext i32 %".219" to i64
  %".221" = trunc i64 %".220" to i32
  %".222" = trunc i32 %".221" to i8
  %".223" = zext i8 %".222" to i64
  %".224" = trunc i64 %".220" to i32
  %".225" = lshr i32 %".224", 8
  %".226" = trunc i32 %".225" to i8
  %".227" = zext i8 %".226" to i64
  %".228" = shl i64 %".227", 8
  %".229" = or i64 %".223", %".228"
  %".230" = trunc i64 %".220" to i32
  %".231" = lshr i32 %".230", 16
  %".232" = trunc i32 %".231" to i8
  %".233" = zext i8 %".232" to i64
  %".234" = shl i64 %".233", 16
  %".235" = or i64 %".229", %".234"
  %".236" = trunc i64 %".220" to i32
  %".237" = lshr i32 %".236", 24
  %".238" = trunc i32 %".237" to i8
  %".239" = zext i8 %".238" to i64
  %".240" = shl i64 %".239", 24
  %".241" = or i64 %".235", %".240"
  %".242" = lshr i64 %".188", 32
  %".243" = trunc i64 %".242" to i8
  %".244" = zext i8 %".243" to i32
  %".245" = lshr i64 %".188", 40
  %".246" = trunc i64 %".245" to i8
  %".247" = zext i8 %".246" to i32
  %".248" = shl i32 %".247", 8
  %".249" = or i32 %".244", %".248"
  %".250" = lshr i64 %".188", 48
  %".251" = trunc i64 %".250" to i8
  %".252" = zext i8 %".251" to i32
  %".253" = shl i32 %".252", 16
  %".254" = or i32 %".249", %".253"
  %".255" = lshr i64 %".188", 56
  %".256" = trunc i64 %".255" to i8
  %".257" = zext i8 %".256" to i32
  %".258" = shl i32 %".257", 24
  %".259" = or i32 %".254", %".258"
  %".260" = zext i32 %".259" to i64
  %".261" = trunc i64 %".260" to i32
  %".262" = zext i32 %".261" to i64
  %".263" = trunc i64 %".262" to i32
  %".264" = zext i32 %".263" to i64
  %".265" = trunc i64 %".264" to i32
  %".266" = zext i32 %".265" to i64
  %".267" = trunc i64 %".266" to i32
  %".268" = trunc i32 %".267" to i8
  %".269" = zext i8 %".268" to i64
  %".270" = shl i64 %".269", 32
  %".271" = or i64 %".241", %".270"
  %".272" = trunc i64 %".266" to i32
  %".273" = lshr i32 %".272", 8
  %".274" = trunc i32 %".273" to i8
  %".275" = zext i8 %".274" to i64
  %".276" = shl i64 %".275", 40
  %".277" = or i64 %".271", %".276"
  %".278" = trunc i64 %".266" to i32
  %".279" = lshr i32 %".278", 16
  %".280" = trunc i32 %".279" to i8
  %".281" = zext i8 %".280" to i64
  %".282" = shl i64 %".281", 48
  %".283" = or i64 %".277", %".282"
  %".284" = trunc i64 %".266" to i32
  %".285" = lshr i32 %".284", 24
  %".286" = trunc i32 %".285" to i8
  %".287" = zext i8 %".286" to i64
  %".288" = shl i64 %".287", 56
  %".289" = or i64 %".283", %".288"
  %".290" = add i64 %".156", %".143"
  %".291" = add i64 %".290", %"SymVar_0"
  %".292" = sext i64 %".291" to i128
  %".293" = sext i64 %".143" to i128
  %".294" = mul i128 %".292", %".293"
  %".295" = trunc i128 %".294" to i64
  %".296" = and i64 7, %".295"
  %".297" = zext i8 2 to i64
  %".298" = and i64 %".297", 63
  %".299" = shl i64 %".296", %".298"
  %".300" = or i64 %".299", %".143"
  %".301" = lshr i64 %".300", 56
  %".302" = trunc i64 %".301" to i8
  %".303" = zext i8 %".302" to i32
  %".304" = zext i32 %".303" to i64
  %".305" = trunc i64 %".304" to i8
  %".306" = zext i8 %".305" to i32
  %".307" = zext i32 %".306" to i64
  %".308" = trunc i64 %".307" to i8
  %".309" = zext i8 %".308" to i32
  %".310" = zext i32 %".309" to i64
  %".311" = trunc i64 %".310" to i8
  %".312" = zext i8 %".311" to i32
  %".313" = zext i32 %".312" to i64
  %".314" = trunc i64 %".313" to i8
  %".315" = zext i8 %".314" to i64
  %".316" = lshr i64 %".300", 8
  %".317" = trunc i64 %".316" to i8
  %".318" = zext i8 %".317" to i64
  %".319" = shl i64 %".318", 8
  %".320" = or i64 %".315", %".319"
  %".321" = lshr i64 %".300", 16
  %".322" = trunc i64 %".321" to i8
  %".323" = zext i8 %".322" to i64
  %".324" = shl i64 %".323", 16
  %".325" = or i64 %".320", %".324"
  %".326" = lshr i64 %".300", 24
  %".327" = trunc i64 %".326" to i8
  %".328" = zext i8 %".327" to i64
  %".329" = shl i64 %".328", 24
  %".330" = or i64 %".325", %".329"
  %".331" = lshr i64 %".300", 32
  %".332" = trunc i64 %".331" to i8
  %".333" = zext i8 %".332" to i64
  %".334" = shl i64 %".333", 32
  %".335" = or i64 %".330", %".334"
  %".336" = lshr i64 %".300", 40
  %".337" = trunc i64 %".336" to i8
  %".338" = zext i8 %".337" to i64
  %".339" = shl i64 %".338", 40
  %".340" = or i64 %".335", %".339"
  %".341" = lshr i64 %".300", 48
  %".342" = trunc i64 %".341" to i8
  %".343" = zext i8 %".342" to i64
  %".344" = shl i64 %".343", 48
  %".345" = or i64 %".340", %".344"
  %".346" = trunc i64 %".300" to i8
  %".347" = zext i8 %".346" to i32
  %".348" = zext i32 %".347" to i64
  %".349" = trunc i64 %".348" to i8
  %".350" = zext i8 %".349" to i32
  %".351" = zext i32 %".350" to i64
  %".352" = trunc i64 %".351" to i8
  %".353" = zext i8 %".352" to i64
  %".354" = shl i64 %".353", 56
  %".355" = or i64 %".345", %".354"
  %".356" = sub i64 %".289", %".355"
  %".357" = or i64 %".153", %".356"
  %".358" = and i64 63, %".356"
  %".359" = zext i8 4 to i64
  %".360" = and i64 %".359", 63
  %".361" = shl i64 %".358", %".360"
  %".362" = zext i8 %".314" to i64
  %".363" = zext i8 %".317" to i64
  %".364" = shl i64 %".363", 8
  %".365" = or i64 %".362", %".364"
  %".366" = zext i8 %".322" to i64
  %".367" = shl i64 %".366", 16
  %".368" = or i64 %".365", %".367"
  %".369" = zext i8 %".327" to i64
  %".370" = shl i64 %".369", 24
  %".371" = or i64 %".368", %".370"
  %".372" = zext i8 %".332" to i64
  %".373" = shl i64 %".372", 32
  %".374" = or i64 %".371", %".373"
  %".375" = zext i8 %".337" to i64
  %".376" = shl i64 %".375", 40
  %".377" = or i64 %".374", %".376"
  %".378" = zext i8 %".342" to i64
  %".379" = shl i64 %".378", 48
  %".380" = or i64 %".377", %".379"
  %".381" = zext i8 %".352" to i64
  %".382" = shl i64 %".381", 56
  %".383" = or i64 %".380", %".382"
  %".384" = or i64 %".361", %".383"
  %".385" = zext i8 %".222" to i64
  %".386" = zext i8 %".226" to i64
  %".387" = shl i64 %".386", 8
  %".388" = or i64 %".385", %".387"
  %".389" = zext i8 %".232" to i64
  %".390" = shl i64 %".389", 16
  %".391" = or i64 %".388", %".390"
  %".392" = zext i8 %".238" to i64
  %".393" = shl i64 %".392", 24
  %".394" = or i64 %".391", %".393"
  %".395" = zext i8 %".268" to i64
  %".396" = shl i64 %".395", 32
  %".397" = or i64 %".394", %".396"
  %".398" = zext i8 %".274" to i64
  %".399" = shl i64 %".398", 40
  %".400" = or i64 %".397", %".399"
  %".401" = zext i8 %".280" to i64
  %".402" = shl i64 %".401", 48
  %".403" = or i64 %".400", %".402"
  %".404" = zext i8 %".286" to i64
  %".405" = shl i64 %".404", 56
  %".406" = or i64 %".403", %".405"
  %".407" = zext i8 2 to i64
  %".408" = and i64 %".407", 63
  %".409" = lshr i64 %".406", %".408"
  %".410" = and i64 7, %".409"
  %".411" = or i64 1, %".410"
  %".412" = trunc i64 %".411" to i32
  %".413" = zext i32 %".412" to i64
  %".414" = trunc i64 %".413" to i8
  %".415" = zext i8 %".414" to i64
  %".416" = and i64 %".415", 63
  %".417" = shl i64 %".384", %".416"
  %".418" = add i64 %".357", %".417"
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.else:
  %".420" = zext i8 5 to i64
  %".421" = and i64 %".420", 63
  %".422" = lshr i64 %"SymVar_0", %".421"
  %".423" = xor i64 810798164723513605, %".422"
  %".424" = sub i64 %"SymVar_0", 275339905
  %".425" = add i64 %".423", %".424"
  %".426" = add i64 %".425", %".422"
  %".427" = add i64 %".426", %"SymVar_0"
  %".428" = sext i64 %".427" to i128
  %".429" = sext i64 %".422" to i128
  %".430" = mul i128 %".428", %".429"
  %".431" = trunc i128 %".430" to i64
  %".432" = and i64 7, %".431"
  %".433" = zext i8 2 to i64
  %".434" = and i64 %".433", 63
  %".435" = shl i64 %".432", %".434"
  %".436" = or i64 %".435", %".422"
  %".437" = sub i64 %".436", %".427"
  %".438" = and i64 31, %".437"
  %".439" = zext i8 3 to i64
  %".440" = and i64 %".439", 63
  %".441" = shl i64 %".438", %".440"
  %".442" = sext i64 %".422" to i128
  %".443" = sext i64 1015975030 to i128
  %".444" = mul i128 %".442", %".443"
  %".445" = trunc i128 %".444" to i64
  %".446" = and i64 7, %".445"
  %".447" = or i64 1, %".446"
  %".448" = trunc i64 %".447" to i8
  %".449" = zext i8 %".448" to i64
  %".450" = and i64 %".449", 63
  %".451" = lshr i64 %"SymVar_0", %".450"
  %".452" = or i64 %".441", %".451"
  %".453" = zext i8 4 to i64
  %".454" = and i64 %".453", 63
  %".455" = lshr i64 %".425", %".454"
  %".456" = and i64 15, %".455"
  %".457" = or i64 1, %".456"
  %".458" = sub i64 64, %".457"
  %".459" = trunc i64 %".458" to i8
  %".460" = zext i8 %".459" to i64
  %".461" = and i64 %".460", 63
  %".462" = lshr i64 %".451", %".461"
  %".463" = zext i8 4 to i64
  %".464" = and i64 %".463", 63
  %".465" = lshr i64 %".425", %".464"
  %".466" = and i64 15, %".465"
  %".467" = or i64 1, %".466"
  %".468" = trunc i64 %".467" to i32
  %".469" = zext i32 %".468" to i64
  %".470" = trunc i64 %".469" to i8
  %".471" = zext i8 %".470" to i64
  %".472" = and i64 %".471", 63
  %".473" = shl i64 %".451", %".472"
  %".474" = or i64 %".462", %".473"
  %".475" = and i64 15, %".474"
  %".476" = zext i8 3 to i64
  %".477" = and i64 %".476", 63
  %".478" = shl i64 %".475", %".477"
  %".479" = or i64 %".478", %".425"
  %".480" = trunc i64 %".479" to i8
  %".481" = zext i8 %".480" to i32
  %".482" = lshr i64 %".479", 8
  %".483" = trunc i64 %".482" to i8
  %".484" = zext i8 %".483" to i32
  %".485" = shl i32 %".484", 8
  %".486" = or i32 %".481", %".485"
  %".487" = lshr i64 %".479", 16
  %".488" = trunc i64 %".487" to i8
  %".489" = zext i8 %".488" to i32
  %".490" = shl i32 %".489", 16
  %".491" = or i32 %".486", %".490"
  %".492" = lshr i64 %".479", 24
  %".493" = trunc i64 %".492" to i8
  %".494" = zext i8 %".493" to i32
  %".495" = shl i32 %".494", 24
  %".496" = or i32 %".491", %".495"
  %".497" = zext i32 %".496" to i64
  %".498" = trunc i64 %".497" to i32
  %".499" = zext i32 %".498" to i64
  %".500" = trunc i64 %".499" to i32
  %".501" = zext i32 %".500" to i64
  %".502" = trunc i64 %".501" to i32
  %".503" = zext i32 %".502" to i64
  %".504" = trunc i64 %".503" to i32
  %".505" = zext i32 %".504" to i64
  %".506" = trunc i64 %".505" to i32
  %".507" = zext i32 %".506" to i64
  %".508" = trunc i64 %".507" to i32
  %".509" = zext i32 %".508" to i64
  %".510" = trunc i64 %".509" to i32
  %".511" = zext i32 %".510" to i64
  %".512" = trunc i64 %".511" to i32
  %".513" = trunc i32 %".512" to i8
  %".514" = zext i8 %".513" to i64
  %".515" = trunc i64 %".511" to i32
  %".516" = lshr i32 %".515", 8
  %".517" = trunc i32 %".516" to i8
  %".518" = zext i8 %".517" to i64
  %".519" = shl i64 %".518", 8
  %".520" = or i64 %".514", %".519"
  %".521" = trunc i64 %".511" to i32
  %".522" = lshr i32 %".521", 16
  %".523" = trunc i32 %".522" to i8
  %".524" = zext i8 %".523" to i64
  %".525" = shl i64 %".524", 16
  %".526" = or i64 %".520", %".525"
  %".527" = trunc i64 %".511" to i32
  %".528" = lshr i32 %".527", 24
  %".529" = trunc i32 %".528" to i8
  %".530" = zext i8 %".529" to i64
  %".531" = shl i64 %".530", 24
  %".532" = or i64 %".526", %".531"
  %".533" = lshr i64 %".479", 32
  %".534" = trunc i64 %".533" to i8
  %".535" = zext i8 %".534" to i32
  %".536" = lshr i64 %".479", 40
  %".537" = trunc i64 %".536" to i8
  %".538" = zext i8 %".537" to i32
  %".539" = shl i32 %".538", 8
  %".540" = or i32 %".535", %".539"
  %".541" = lshr i64 %".479", 48
  %".542" = trunc i64 %".541" to i8
  %".543" = zext i8 %".542" to i32
  %".544" = shl i32 %".543", 16
  %".545" = or i32 %".540", %".544"
  %".546" = lshr i64 %".479", 56
  %".547" = trunc i64 %".546" to i8
  %".548" = zext i8 %".547" to i32
  %".549" = shl i32 %".548", 24
  %".550" = or i32 %".545", %".549"
  %".551" = zext i32 %".550" to i64
  %".552" = trunc i64 %".551" to i32
  %".553" = zext i32 %".552" to i64
  %".554" = trunc i64 %".553" to i32
  %".555" = zext i32 %".554" to i64
  %".556" = trunc i64 %".555" to i32
  %".557" = zext i32 %".556" to i64
  %".558" = trunc i64 %".557" to i32
  %".559" = trunc i32 %".558" to i8
  %".560" = zext i8 %".559" to i64
  %".561" = shl i64 %".560", 32
  %".562" = or i64 %".532", %".561"
  %".563" = trunc i64 %".557" to i32
  %".564" = lshr i32 %".563", 8
  %".565" = trunc i32 %".564" to i8
  %".566" = zext i8 %".565" to i64
  %".567" = shl i64 %".566", 40
  %".568" = or i64 %".562", %".567"
  %".569" = trunc i64 %".557" to i32
  %".570" = lshr i32 %".569", 16
  %".571" = trunc i32 %".570" to i8
  %".572" = zext i8 %".571" to i64
  %".573" = shl i64 %".572", 48
  %".574" = or i64 %".568", %".573"
  %".575" = trunc i64 %".557" to i32
  %".576" = lshr i32 %".575", 24
  %".577" = trunc i32 %".576" to i8
  %".578" = zext i8 %".577" to i64
  %".579" = shl i64 %".578", 56
  %".580" = or i64 %".574", %".579"
  %".581" = and i64 31, %".479"
  %".582" = zext i8 4 to i64
  %".583" = and i64 %".582", 63
  %".584" = shl i64 %".581", %".583"
  %".585" = or i64 %".584", %".436"
  %".586" = sub i64 %".580", %".585"
  %".587" = or i64 %".452", %".586"
  %".588" = and i64 63, %".586"
  %".589" = zext i8 4 to i64
  %".590" = and i64 %".589", 63
  %".591" = shl i64 %".588", %".590"
  %".592" = or i64 %".591", %".585"
  %".593" = zext i8 %".513" to i64
  %".594" = zext i8 %".517" to i64
  %".595" = shl i64 %".594", 8
  %".596" = or i64 %".593", %".595"
  %".597" = zext i8 %".523" to i64
  %".598" = shl i64 %".597", 16
  %".599" = or i64 %".596", %".598"
  %".600" = zext i8 %".529" to i64
  %".601" = shl i64 %".600", 24
  %".602" = or i64 %".599", %".601"
  %".603" = zext i8 %".559" to i64
  %".604" = shl i64 %".603", 32
  %".605" = or i64 %".602", %".604"
  %".606" = zext i8 %".565" to i64
  %".607" = shl i64 %".606", 40
  %".608" = or i64 %".605", %".607"
  %".609" = zext i8 %".571" to i64
  %".610" = shl i64 %".609", 48
  %".611" = or i64 %".608", %".610"
  %".612" = zext i8 %".577" to i64
  %".613" = shl i64 %".612", 56
  %".614" = or i64 %".611", %".613"
  %".615" = zext i8 2 to i64
  %".616" = and i64 %".615", 63
  %".617" = lshr i64 %".614", %".616"
  %".618" = and i64 7, %".617"
  %".619" = or i64 1, %".618"
  %".620" = trunc i64 %".619" to i32
  %".621" = zext i32 %".620" to i64
  %".622" = trunc i64 %".621" to i8
  %".623" = zext i8 %".622" to i64
  %".624" = and i64 %".623", 63
  %".625" = shl i64 %".592", %".624"
  %".626" = add i64 %".587", %".625"
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.endif:
  %".628" = phi i64 [%".418", %".3.endif.endif.endif.endif.if"], [%".626", %".3.endif.endif.endif.endif.else"]
  ret i64 %".628"
}
